xen/domain: Make rangeset_domain_destroy() idempotent
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 3 Sep 2018 12:56:55 +0000 (13:56 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 4 Sep 2018 12:25:44 +0000 (13:25 +0100)
commitda3bd8111858a1fb045a6ddc0b36d72164d9c5dd
treeaeaf06bd7421e04ac9a6908e42a83849a66c23e9
parent2f00299e34c79e93d1f4b74444b26320a089776f
xen/domain: Make rangeset_domain_destroy() idempotent

... and move it into the common __domain_destroy() path.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
xen/common/domain.c
xen/common/rangeset.c